[Alphabetical Index | Tag Index]

Type inference

Automatic deduction of the types in a language. Used with Static typing to avoid having to declare types for variables and functions. Particularly useful in Generic programming and type Polymorphism where type expressions can become quite complicated. Used, e.g., in Haskell and Standard ML.

[Wikipedia]